Constraint-Logic Object-Oriented Programming with Free Arrays

Object-Oriented Constraint Programming with J.CP

Object - Oriented Concurrent Constraint Programming

1.1 Abstract Oz is a higher-order concurrent constraint programming system under development at DFKI. It combines ideas from logic and concurrent programming in a simple yet expressive language. From logic programming Oz inherits logic variables and logic data structures, which provide for a programming style where partial information about the values of variables is imposed concurrently and in...

Distributed object oriented logic programming

In this paper we introduce a programming language/system DK Parlog ++ which is an experimental testbed for distributed applications, particularly distributed AI and distributed knowledge base applications. The language is designed to have the concurrent computation ability of the Concurrent Logic Programming(CLP) languages, the knowledge representation and problem solving ability of Prolog, bot...

Object-Oriented Concurrent Constraint Programming in Oz

1.1 Abstract Oz is a higher-order concurrent constraint programming system under development at DFKI. It combines ideas from logic and concurrent programming in a simple yet expressive language. From logic programming Oz inherits logic variables and logic data structures, which provide for a programming style where partial information about the values of variables is imposed concurrently and in...

Object-Oriented Knowledge Bases in Logic Programming

characterization of the problem  Naturally existential rules  If you write a rule describing an object structure and create the following graph  Each variable in the body of the rule is a node  Each predicate in the body of the rule is a labeled edge between the variables participating in the predicate  The resulting graph is not tree-structured  Objects are so intricate that it is not po...